$\forall$$i$:Id, $L$:(Id List), $k$:Knd.
\\[0ex]@$i$: $k$ affects only members of $L$ realizes ${\it es}$. @$i$: $k$ affects only $L$